Margaret M. Burnett Professor School of Electrical Engineering and Computer Science Oregon State University Academic Background

Source URL: web.engr.oregonstate.edu

• Humancomputer interaction
• Computing
• Computer science
• Gender HCI
• Software engineering
• Association for Computing Machinery
• End-user development
• CALO
• Mary Beth Rosson

Email Task Management: An Iterative Relational Learning Approach Rinat Khoussainov and Nicholas Kushmerick School of Computer Science and Informatics University College Dublin, Ireland {rinat, nick}@ucd.ie

Source URL: ceas.cc

Degree Constrained Subgraphs L. Addario-Berry, K. Dalal, B. A. Reed School of Computer Science, McGill University, University St. Montreal, QC, H3A 2A7, Canada Abstract

Source URL: cgm.cs.mcgill.ca

Revising in response to reviews Jonathan Shapiro School of Computer Science University of Manchester April 28, 2014

Source URL: studentnet.cs.manchester.ac.uk

AIM: Another Itemset Miner Amos Fiat, Sagi Shporer School of Computer Science Tel-Aviv University Tel Aviv, Israel {fiat, shporer}@tau.ac.il

Source URL: sunsite.informatik.rwth-aachen.de

Feedback-Free Circuits in the Algebra of Transients Mihaela Gheorghiu and Janusz Brzozowski School of Computer Science, University of Waterloo, Waterloo, ON, Canada N2L 3G1 mgheorgh,brzozo @uwaterloo.ca

Source URL: maveric.uwaterloo.ca

Improved multi-party contract signing Aybek Mukhamedov and Mark Ryan School of Computer Science University of Birmingham, UK {A.Mukhamedov,M.D.Ryan} @cs.bham.ac.uk

Source URL: www.cs.bham.ac.uk

Empowering Designers with Creativity Support Tools Stephen Oney Human-Computer Interaction Institute School of Computer Science Carnegie Mellon University Pittsburgh, PAUSA

Source URL: from.so

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

Source URL: cisr.nps.edu

• Crime prevention
• Cryptography
• Information governance
• National security
• Computer security
• Covert channel
• Information flow
• Program slicing
• Mandatory access control
• Alloy Analyzer
• Domain-specific language
• Information security

Applied pi calculus∗ Mark D. Ryan and Ben Smyth School of Computer Science, University of Birmingham, United Kingdom July 2010

Source URL: www.cs.bham.ac.uk